home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c++-part1 / 1778 < prev    next >
Encoding:
Internet Message Format  |  1996-08-06  |  2.4 KB
  1. Path: kbad.eglin.af.mil!rpi!not-for-mail
  2. From: thp@cs.ucr.edu (Tom Payne)
  3. Newsgroups: comp.lang.c++.moderated,comp.lang.c++
  4. Subject: Re: Meaning of the specifier volatile?
  5. Date: 12 Jan 1996 19:10:22 -0000
  6. Organization: University of California, Riverside Department of Computer Science
  7. Sender: cppmods@netlab.cs.rpi.edu
  8. Approved: vandevod@cs.rpi.edu
  9. Message-ID: <4d6bmu$bql@netlab.cs.rpi.edu>
  10. References: <4c9740$27n@netlab.cs.rpi.edu> <4cff74$gfj@netlab.cs.rpi.edu> <4cj5u4$qjm@netlab.cs.rpi.edu> <4cree9$9bv@netlab.cs.rpi.edu> <4d3hi9$qe2@netlab.cs.rpi.edu>
  11. NNTP-Posting-Host: netlab.cs.rpi.edu
  12. X-Original-Date: 12 Jan 1996 18:33:13 GMT
  13.  
  14. J. Kanze (kanze@gabi-soft.fr) wrote:
  15. : X-Original-Date: 11 Jan 1996 12:45:44 +0100
  16. : 
  17. : Tom Payne (thp@cs.ucr.edu) wrote:
  18. : 
  19. : |> J. Kanze (kanze@gabi-soft.fr) wrote:
  20. : |> [stuff deleted]
  21. : |> : On point concerning volatile that I have not seen made is the fact that
  22. : |> : the C/C++ concept of volatile is orthogonal to atomicity of access.
  23. : |> : Declaring an object volatile is *NOT* sufficient with regards to
  24. : |> : asynchronous events; the object must still be of a type for which the
  25. : |> : compiler will generate atomic accesses.  
  26. : |> [stuff deleted]
  27. : 
  28. : |> Because of the signal-handlers-can't-read provision of the ANSI C
  29. : |> standard, atomicity is unnecessary in the coordination of asynchronous
  30. : |> activity for programs with defined behavior:
  31. : 
  32. : |>   *  signal handlers won't read any partially written non-atomic 
  33. : |>      shared variables, because they are not allowed to read variables 
  34. : |>      of static storage class in programs with defined behavior.
  35. : 
  36. : |>   *  the program itself won't read any partially written non-atomic 
  37. : |>      shared varible, because signal handlers don't return control 
  38. : |>      until they have completed their writes of volatile variables.
  39. [...]
  40. : Note that your statement, if allowed, could lead to anomalies if a
  41. : non-atomic read is interrupted, and the signal handler writes the
  42. : object.  The first part of the read sees the old value, and the second
  43. : part the new value.
  44.  
  45.  
  46. Oops -- I stand corrected!  The de facto atomicity of access by
  47. *uninterrupted* signal handlers doesn't cover all cases.
  48.  
  49. Tom Payne (thp@cs.ucr.edu)
  50.  
  51.  
  52.       [ Articles to moderate: mailto:c++-submit@netlab.cs.rpi.edu ]
  53.       [  Read the C++ FAQ: http://www.connobj.com/cpp/cppfaq.htm  ]
  54.       [  Moderation policy: http://www.connobj.com/cpp/guide.htm  ]
  55.       [      Comments? mailto:c++-request@netlab.cs.rpi.edu       ]
  56.